Stehr, Mark Oliver: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Higher-Order and Symbolic Computation

Year:

2007

Language:

english

File:

PDF, 491 KB

english, 2007

2

[IEEE MILCOM 2008 - 2008 IEEE Military Communications Conference (MILCOM) - San Diego, CA, USA (2008.11.16-2008.11.19)] MILCOM 2008 - 2008 IEEE Military Communications Conference - Planning and learning algorithms for routing in Disruption-Tolerant Networks

Stehr, Mark-Oliver, Talcott, Carolyn

Year:

2008

Language:

english

File:

PDF, 329 KB

english, 2008

3

Plan in Maude Specifying an Active Network Programming Language

Mark-Oliver Stehr, Carolyn L. Talcott

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 192 KB

english, 2004

4

Compositionality for Tightly Coupled Systems: A New Application of the Propositions-as-Types Interpretation

Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

5

[IEEE 2011 International Conference on Collaboration Technologies and Systems (CTS) - Philadelphia, PA, USA (2011.05.23-2011.05.27)] 2011 International Conference on Collaboration Technologies and Systems (CTS) - Tailoring group membership consistency for mobile networks

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Talcott, Carolyn, Stehr, Mark-Oliver

Year:

2011

Language:

english

File:

PDF, 1004 KB

english, 2011

6

[IEEE 2008 Design, Automation and Test in Europe - Munich, Germany (2008.03.10-2008.03.14)] 2008 Design, Automation and Test in Europe - Constraint Refinement for Online Verifiable Cross-Layer System Adaptation

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Year:

2008

Language:

english

File:

PDF, 4.83 MB

english, 2008

7

Resilient dependable cyber-physical systems: a middleware perspective

Grit Denker, Nikil Dutt, Sharad Mehrotra, Mark-Oliver Stehr, Carolyn Talcott, Nalini Venkatasubramanian

Journal:

Journal of Internet Services and Applications

Year:

2012

Language:

english

File:

PDF, 483 KB

english, 2012

8

Tailoring consistency in group membership for mobile networks

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-Oliver, Talcott, Carolyn

Journal:

Future Generation Computer Systems

Year:

2014

Language:

english

File:

PDF, 2.46 MB

english, 2014

9

[ACM Press the 3rd workshop - Toronto, Ontario, Canada (2004.10.19-2004.10.19)] Proceedings of the 3rd workshop on Adaptive and reflective middleware - - Exploring adaptability of secure group communication using formal prototyping techniques

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-Oliver, Talcott, Carolyn

Year:

2004

Language:

english

File:

PDF, 270 KB

english, 2004

10

[IEEE MILCOM 2013 - 2013 IEEE Military Communications Conference - San Diego, CA, USA (2013.11.18-2013.11.20)] MILCOM 2013 - 2013 IEEE Military Communications Conference - ICEMAN: A System for Efficient, Robust and Secure Situational Awareness at the Network Edge

Wood, Samuel, Mathewson, James, Joy, Joshua, Stehr, Mark-Oliver, Kim, Minyoung, Gehani, Ashish, Gerla, Mario, Sadjadpour, Hamid, Garcia-Luna-Aceves, J.J.

Year:

2013

Language:

english

File:

PDF, 498 KB

english, 2013

11

[ACM Press the 28th Annual ACM Symposium - Coimbra, Portugal (2013.03.18-2013.03.22)] Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13 - Maximizing availability of content in disruptive environments by cross-layer optimization

Kim, Minyoung, Gehani, Ashish, Kim, Je-Min, Tariq, Dawood, Stehr, Mark-Oliver, Kim, Jin-soo

Year:

2013

Language:

english

File:

PDF, 2.56 MB

english, 2013

12

[IEEE 2015 IEEE International Conference on Big Data (Big Data) - Santa Clara, CA, USA (2015.10.29-2015.11.1)] 2015 IEEE International Conference on Big Data (Big Data) - Priority register: Application-defined replacement orderings for ad hoc reconciliation

Kumar, Sathiya Prabhu, Lefebvre, Sylvain, Kim, Minyoung, Stehr, Mark Oliver

Year:

2015

Language:

english

File:

PDF, 141 KB

english, 2015

13

[ACM Press the 19th annual international conference - Miami, Florida, USA (2013.09.30-2013.10.04)] Proceedings of the 19th annual international conference on Mobile computing & networking - MobiCom '13 - Network coding for content-based intermittently connected emergency networks

Joy, Joshua, Yu, Yu-Ting, Gerla, Mario, Wood, Samuel, Mathewson, James, Stehr, Mark-Oliver

Year:

2013

Language:

english

File:

PDF, 7.05 MB

english, 2013

14

[IEEE 2014 IEEE Military Communications Conference (MILCOM) - Baltimore, MD, USA (2014.10.6-2014.10.8)] 2014 IEEE Military Communications Conference - Adaptive Interest Modeling Improves Content Services at the Network Edge

Li, Hua, Costantini, Ralph, Anhalt, David, Alonso, Rafael, Stehr, Mark-Oliver, Talcot, Carolyn, Kim, Minyoung, McCarthy, Timothy, Wood, Samuel

Year:

2014

Language:

english

File:

PDF, 262 KB

english, 2014

15

[ACM Press the 2005 workshop - Long Beach, California (2005.01.10-2005.01.11)] Proceedings of the 2005 workshop on Issues in the theory of security - WITS '05 - Formal prototyping in early stages of protocol design

Goodloe, Alwyn, Gunter, Carl A., Stehr, Mark-Oliver

Year:

2005

Language:

english

File:

PDF, 518 KB

english, 2005

16

CINNI - A Generic Calculus of Explicit Substitutions and its Application to λ- ς- and π-Calculi

Mark- Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 205 KB

english, 2000

17

Representing the MSR Cryptoprotocol Specification Language in an Extension of Rewriting Logic with Dependent Types

Iliano Cervesato, Mark-Oliver Stehr

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 432 KB

english, 2005

18

[IEEE 2010 IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing (EUC) (Co-Located with CSE 2010) - Hong Kong, China (2010.12.11-2010.12.13)] 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing - An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Kim, Minyoung, Stehr, Mark-Oliver, Kim, Jinwoo, Ha, Soonhoi

Year:

2010

Language:

english

File:

PDF, 1.03 MB

english, 2010

19

xTune

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 535 KB

english, 2012

20

[IEEE 2012 IEEE International Conference on Green Computing and Communications (GreenCom) - Besancon, France (2012.11.20-2012.11.23)] 2012 IEEE International Conference on Green Computing and Communications - Folding and Unfolding Bloom Filters: An Off-Line Planning and On-Line Optimization Problem

Sailhan, Francoise, Stehr, Mark Oliver

Year:

2012

Language:

english

File:

PDF, 262 KB

english, 2012

21

Policy-Based Cognitive Radios

Wilkins, David, Denker, Grit, Stehr, Mark-Oliver, Elenius, Daniel, Senanay, Rukmam, Talcott, Carolyn

Journal:

IEEE Wireless Communications

Year:

2007

Language:

english

File:

PDF, 93 KB

english, 2007

22

[IEEE Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - Bologna, Italy (2007.06.13-2007.06.15)] Eighth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'07) - CoRaL--Policy Language and Reasoning Techniques for Spectrum Policies

Elenius, Daniel, Denker, Grit, Stehr, Mark-Oliver, Senanayake, Rukman, Talcott, Carolyn, Wilkins, David

Year:

2007

Language:

english

File:

PDF, 885 KB

english, 2007

23

Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework

Mark-Oliver Stehr, José Meseguer, Peter Csaba Ölveczky

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 266 KB

english, 2001

24

[IEEE 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks - Dublin, Ireland (2007.04.17-2007.04.20)] 2007 2nd IEEE International Symposium on New Frontiers in Dynamic Spectrum Access Networks - A Policy Engine for Spectrum Sharing

Denker, Grit, Elenius, Daniel, Senanayake, Rukman, Stehr, Mark-Oliver, Wilkins, David

Year:

2007

Language:

english

File:

PDF, 684 KB

english, 2007

25

[IEEE 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) - Riverside, CA, USA (2006.12.18-2006.12.20)] 2006 12th Pacific Rim International Symposium on Dependable Computing (PRDC'06) - Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation

Gutierrez-Nolasco, Sebastian, Venkatasubramanian, Nalini, Stehr, Mark-oliver, Talcott, Carolyn

Year:

2006

Language:

english

File:

PDF, 369 KB

english, 2006

26

A parallel and distributed meta-heuristic framework based on partially ordered knowledge sharing

Jinwoo Kim, Minyoung Kim, Mark-Oliver Stehr, Hyunok Oh, Soonhoi Ha

Journal:

Journal of Parallel and Distributed Computing

Year:

2012

Language:

english

File:

PDF, 1.62 MB

english, 2012

27

A distributed logic for Networked Cyber-Physical Systems

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 667 KB

english, 2013

28

[IEEE 2008 International Symposium on Collaborative Technologies and Systems (CTS) - Irvine, CA, USA (2008.05.19-2008.05.23)] 2008 International Symposium on Collaborative Technologies and Systems - Formal specification of agent-object oriented programs

Pagliarecci, Francesco, Spalazzi, Luca, Stehr, Mark-Oliver, Talcott, Carolyn L.

Year:

2008

Language:

english

File:

PDF, 296 KB

english, 2008

29

[ACM Press the conference - Munich, Germany (2008.03.10-2008.03.14)] Proceedings of the conference on Design, automation and test in Europe - DATE '08 - Constraint refinement for online verifiable cross-layer system adaptation

Kim, Minyoung, Stehr, Mark-Oliver, Talcott, Carolyn, Dutt, Nikil, Venkatasubramanian, Nalini

Year:

2008

Language:

english

File:

PDF, 333 KB

english, 2008

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски